Uses of Class
edu.uky.ai.lp.logic.Conjunction

Packages that use Conjunction

Package	Description
edu.uky.ai.lp.logic	Contains classes for representing logical formulas in function-free predicate logic, unifiers, and knowledge bases.

Uses of Conjunction in edu.uky.ai.lp.logic

Methods in edu.uky.ai.lp.logic that return Conjunction

Modifier and Type	Method	Description
Conjunction	Conjunction.substitute(Unifier unifier)